Lifting properties of maximal lattice-free polyhedra Gennadiy Averkov∗ and Amitabh Basu† January 16, 2015 Abstract We study the uniqueness of minimal liftings of cut-generating functions obtained from

Source URL: www.ams.jhu.edu

Cubical Type Theory Free bounded distributive lattice The free distributive lattice on a set J can be described as the set of finite antichains in the poset of finite subsets of J, for the order L 6 M if, and only if, f

Source URL: www.cse.chalmers.se

HW #7 (221B), due Mar 4, 4pm 1. The copper metal is a cubic lattice with the lattice constant of 3.61˚ A. Assume that there is one conduction electron per lattice site and treat the electrons as free particles. Calculat

Source URL: hitoshi.berkeley.edu

Cubical Type Theory Free bounded distributive lattice The free distributive lattice on a set J can be described as the set of finite antichains in the poset of finite subsets of J, for the order L 6 M if, and only if, f

Source URL: www.cse.chalmers.se

The kernel of a monoid morphism ´ Pin1 Jean-Eric 1 LIAFA, CNRS and University Paris Diderot

Source URL: www-users.york.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Algebraic structures
• Semigroup theory
• Category theory
• Lattice theory
• Semigroup
• Monoid
• Kernel
• Semilattice
• Free monoid

The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990

Source URL: www.paultaylor.eu

• Lattice theory
• Algebraic structures
• Power domains
• Semilattice
• Free lattice
• Topos
• Model theory
• Finite set
• FO
• Mathematics
• Abstract algebra
• Algebra

PHYSICS-II (PHY-102, May-06) Note: Attempt five questions in all selecting at least one question from each unit. UNIT-I 1. (a) What are Bravais space lattices? Discuss the details of all crystal

Source URL: www.allsubjects4you.com

• Fermi gas
• Electron
• Fermi level
• Semiconductor
• Fermi energy
• Bravais lattice
• Enrico Fermi
• Free electron model
• Effective mass
• Physics
• Condensed matter physics
• Electronic band structure

Optimal ancilla-free Clifford+T approximation of z-rotations Neil J. Ross and Peter Selinger arXiv:1403.2975v1 [quant-ph] 12 MarDepartment of Mathematics and Statistics

Source URL: www.mathstat.dal.ca

• Group theory
• Linear algebra
• Vector space
• Ordinal number
• Euclidean algorithm
• Congruence lattice problem
• Algebra
• Mathematics
• Operator theory

Proc. World Haptics 2007, pp, Tsukuba (Japan), Mar., Free-Form Tactile Sensor Using 3-Dimensional Shape Capture Sheet Takayuki Hoshi and Hiroyuki Shinoda The University of Tokyo {star, shino}@alab.t.u-tok

Source URL: www.alab.t.u-tokyo.ac.jp

• Accelerometers
• Measuring instruments
• Sensors
• Transducers
• Crystallography
• Lattice
• Yaw
• Angle
• Crystal structure
• Geometry
• Chemistry
• Physics

RAPID COMMUNICATIONS PHYSICAL REVIEW E 66, 015104共R兲 共2002兲 Percolation in directed scale-free networks N. Schwartz,1 R. Cohen,1 D. ben-Avraham,2 A.-L. Baraba´si,3 and S. Havlin1

Source URL: www.barabasilab.com

• Lattice models
• Mathematics
• Phase transitions
• Network theory
• Combinatorics
• Percolation theory
• Percolation threshold
• Directed percolation
• Complex network
• Physics
• Critical phenomena
• Quantum field theory